Nuprl Lemma : or_true_l 13,42

A:. (True  A True 
latex


Upcore 2, core 2
Definitionst  T, P  Q, P  Q, P & Q, True, P  Q, P  Q, , x:AB(x)
Lemmastrue wf

origin